From 090a5436289faaae79b1f49b29f4eeefc89d017e Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Tue, 6 Sep 2011 15:49:40 +0100 Subject: [PATCH] docs: Fix 'make docs' Signed-off-by: Keir Fraser --- docs/src/user.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/user.tex b/docs/src/user.tex index f743840d6f..c29f4293cc 100644 --- a/docs/src/user.tex +++ b/docs/src/user.tex @@ -2280,7 +2280,7 @@ writing to the VGA console after domain 0 starts booting (e.g., `vga=text-80x50, \item [ vcpu\_migration\_delay=$<$minimum\_time$>$] Set minimum time of vcpu migration in microseconds (default 0). This parameter avoids agressive vcpu migration. For example, the linux kernel uses 0.5ms by default. -\item [ irq_vector_map=xxx ] Enable irq vector non-sharing maps. Setting 'global' +\item [ irq\_vector\_map=xxx ] Enable irq vector non-sharing maps. Setting 'global' will ensure that no IRQs will share vectors. Setting 'per-device' will ensure that no IRQs from the same device will share vectors. Setting to 'none' will disable it entirely, overriding any defaults the IOMMU code may set. -- 2.30.2